subclass of recursive set

[计] 归集子类